Towards a Theory of Application for QSTR Systems

A wide variety of qualitative spatial and temporal reasoning systems have now been developed that formalise various commonsense aspects of space and time. Despite this, relatively few applications have made use of the reasoning tasks provided by these systems. We address this in a novel way by adopting the perspective of application designers. We present an outline of QSTR application theory, and use this to develop methodologies that support designers in creating suitable qualitative models, implementing metrics for analysing QSTR applications, and conducting application-level QSTR logic validation.